In Über Möglichkeit und Wahrscheinlichkeit entwickelt Meinong seine Theorie der unvollständigen Gegenstände. Der Begriff der Unvollständigkeit wird eingeführt mittels expliziter Bezugnahme auf den Satz vom ausgeschlossenen Dritten: Ein Gegenstand ist unvollständig genau dann, wenn für ihn der Satz vom ausgeschlossenen Dritten nicht gilt. M. a. W.: x ist unvollständig, wenn nicht für jede Eigenschaft P gilt, daß x P hat oder daß x P nicht hat. Alle existierenden und bestehenden Gegenstände sind vollständig; Gegenstände wie das Dreieck in abstracto oder der (...) Gegenstand etwas Blaues sollen dagegen unvollständig sein. Meinong unterscheidet zwei Arten der Negation:(Ne) Es ist nicht der Fall, daß x p hat. (Externe Negation)(Ni) X hat nicht-P (Interne Negation)Meinong selbst stellt fest, daß in bezug auf die externe Negation der Satz vom ausgeschlossenen Dritten uneingeschränkt gültig ist. Um zu verstehen, was es heißt, daß ein Gegenstand unvollständig ist, erscheint es daher unumgänglich, Klarheit darüber zu gewinnen, was eigentlich mit der internen Negation zum Ausdruck gebracht wird. Es wird eine Interpretation der internen Negation vorgeschlagen, und es soll gezeigt werden, daß es gemäß dieser Interpretation überhaupt keine Gegenstände gibt, die unvollständig im Sinne Meinongs sind. (shrink)

In "Über Möglichkeit und Wahrscheinlichkeit" entwickelt Meinong seine Theorie der unvollständigen Gegenstände. Der Begriff der Unvollständigkeit wird eingeführt mittels expliziter Bezugnahme auf den Satz vom ausgeschlossenen Dritten: Ein Gegenstand ist unvollständig genau dann, wenn für ihn der Satz vom ausgeschlossenen Dritten nicht gilt. M. a. W.: x ist unvollständig, wenn nicht für jede Eigenschaft P gilt, daß x P hat oder daß x P nicht hat. Alle existierenden und bestehenden Gegenstände sind vollständig; Gegenstände wie das Dreieck in abstracto oder der (...) Gegenstand etwas Blaues sollen dagegen unvollständig sein. Meinong unterscheidet zwei Arten der Negation:(Ne) Es ist nicht der Fall, daß x p hat. (Externe Negation)(Ni) X hat nicht-P (Interne Negation)Meinong selbst stellt fest, daß in bezug auf die externe Negation der Satz vom ausgeschlossenen Dritten uneingeschränkt gültig ist. Um zu verstehen, was es heißt, daß ein Gegenstand unvollständig ist, erscheint es daher unumgänglich, Klarheit darüber zu gewinnen, was eigentlich mit der internen Negation zum Ausdruck gebracht wird. Es wird eine Interpretation der internen Negation vorgeschlagen, und es soll gezeigt werden, daß es gemäß dieser Interpretation überhaupt keine Gegenstände gibt, die unvollständig im Sinne Meinongs sind. (shrink)

In "Über Möglichkeit und Wahrscheinlichkeit" entwickelt Meinong seine Theorie der unvollständigen Gegenstände. Der Begriff der Unvollständigkeit wird eingeführt mittels expliziter Bezugnahme auf den Satz vom ausgeschlossenen Dritten: Ein Gegenstand ist unvollständig genau dann, wenn für ihn der Satz vom ausgeschlossenen Dritten nicht gilt. M. a. W.: x ist unvollständig, wenn nicht für jede Eigenschaft P gilt, daß x P hat oder daß x P nicht hat. Alle existierenden und bestehenden Gegenstände sind vollständig; Gegenstände wie das Dreieck in abstracto oder der (...) Gegenstand etwas Blaues sollen dagegen unvollständig sein. Meinong unterscheidet zwei Arten der Negation: Es ist nicht der Fall, daß x p hat. X hat nicht-P Meinong selbst stellt fest, daß in bezug auf die externe Negation der Satz vom ausgeschlossenen Dritten uneingeschränkt gültig ist. Um zu verstehen, was es heißt, daß ein Gegenstand unvollständig ist, erscheint es daher unumgänglich, Klarheit darüber zu gewinnen, was eigentlich mit der internen Negation zum Ausdruck gebracht wird. Es wird eine Interpretation der internen Negation vorgeschlagen, und es soll gezeigt werden, daß es gemäß dieser Interpretation überhaupt keine Gegenstände gibt, die unvollständig im Sinne Meinongs sind. (shrink)

States of affairs raise, among others, the following questions: What kind of entity are they (if there are any)? Are they contingent, causally efficacious, spatio-temporal and perceivable entities, or are they abstract objects? What are their constituents and their identity conditions? What are the functions that states of affairs are able to fulfil in a viable theory, and which problems and prima facie counterintuitive consequences arise out of an ontological commitment to them? Are there merely possible (non-actual, non-obtaining) states of (...) affairs? Are there molecular (i.e., negative, conjunctive, disjunctive etc.) states of affairs? Are there modal and tensed states of affairs? In this volume, these and other questions are addressed by David M. Armstrong, Marian David, Herbert Hochberg, Uwe Meixner, L. Nathan Oaklander, Peter Simons, Erwin Tegtmeier and Mark Textor. (shrink)

The relevance of the research is the intensity of noise emitted by lorries depends on the regime of the vehicle movement. One of the main negative factors caused by road vehicles is air pollution with exhaust gases. The article presents results for noise caused by lorries and gas usage while the vehicle is accelerating. The subject of the study is 4 lorries, and they also feature fuel recording systems which are less than 5 years old. Research methodology. The level of (...) noise emitted by heavyweight transport vehicles is measured according to Lithuanian standard LST ISO 1996-2:2008 requirements. During the tests the noise levels of L A,eq, L C,eq, L C,peak were measured. The tests were done 5 times each and the results are presented as arithmetical averages. Fuel consumption is registered in vehicle data registration system. The researched vehicles have to comply with environmental safety normative requirements; that the vehicle carbon monoxide, particulate matter, nitrogen oxides, unburned fuel and other hazardous substances contained in the combustion gases must not exceed the prescribed limits. The results of the experimental studies show that EURO6 lorries noise level is the lowest compared to the EURO4 and EURO5. After carrying out the analysis of the caused noise and gas usage, it was found that noise pollution and gas usage are higher without speed control system. The noise caused by lorries can be described in square polynomial which defines the noise inclination change while vehicle is accelerating. Scientific novelty of the research a complex research on noise and fuel consumption of lorries by using and not using speed control system. Research idea and problem is to achieve sustainable transport development objectives, in particular the reduction of greenhouse gas emissions under the Kyoto Protocol. It is very important to find ways to forecast and reduce transport noise pollution, while also reducing overall pollution, as well as mitigating the impact on the global climate., Conclusion – after conducting a lorry noise and fuel consumption analysis, it was determined that not using speed control system increases the noise and fuel consumption and if the system is used both of these factors decrease drastically. (shrink)

Provability, Computability and Reflection.

In their “social contextual view” of emotional mimicry, authors Hess and Fischer (2022) put forward emotional mimicry as a social regulator, considering it a social act, bound to certain affiliative contexts or goals. In this commentary, we argue that the core function of mimicry is to ease predicting conspecifics’ behaviours and the environment, and that as a consequence, this often smoothens social interactions. Accordingly, we make three main points. First, we argue that there is no good reason to believe that (...) the mimicry of negative expressions is fundamentally different than the mimicry of positive or ambiguous or autonomic expressions. Second, we give examples of empirical evidence that mimicry is not always a social act. Third, we show that mimicry has primary benefits for the mimicker. As such, we will briefly summarise and elaborate on the relevant findings in these respects, and propose a comparative, multi-method and ecologically valid approach which can explain the multifaceted character of the phenomenon. (shrink)

In 2001, Le Bars proved that there exists an existential monadic second-order sentence such that the probability that it is true on [Formula: see text] does not converge and conjectured that, for EMSO sentences with two first-order variables, the zero–one law holds. In this paper, we prove that the conjecture fails for [Formula: see text], and give new examples of sentences with fewer variables without convergence.

We argue that on logical grounds the constructivist algorithms mentioned by Quartz & Sejnowski (Q&S) do not resolve the learning paradox. In contrast, a neural network might acquire a more powerful structure by means of phase transitions. The latter kind of developmental mechanism can be in agreement with the constructivist manifesto.

We show that the analysis of Keisler’s order can be localized to the study of φ-types. Specifically, if is a regular ultrafilter on λ such that and M is a model whose theory is countable, then is λ+-saturated iff it realizes all φ-types of size λ.

The Birkhoff-Maltsev problem asks for a characterization of those lattices each of which is isomorphic to the lattice L(K) of all subquasivarieties for some quasivariety K of algebraic systems. The current status of this problem, which is still open, is discussed. Various unsolved questions that are related to the Birkhoff-Maltsev problem are also considered, including ones that stem from the theory of propositional logics.

Let T 1 , T 2 be countable first-order theories, M i ⊨ T i , and ������ any regular ultrafilter on λ ≥ $\aleph_{0}$ . A longstanding open problem of Keisler asks when T 2 is more complex than T 1 , as measured by the fact that for any such λ, ������, if the ultrapower (M 2 ) λ /������ realizes all types over sets of size ≤ λ, then so must the ultrapower (M 1 ) λ /������. (...) In this paper, building on the author's prior work [12] [13] [14], we show that the relative complexity of first-order theories in Keisler's sense is reflected in the relative graph-theoretic complexity of sequences of hypergraphs associated to formulas of the theory. After reviewing prior work on Keisler's order, we present the new construction in the context of ultrapowers, give various applications to the open question of the unstable classification, and investigate the interaction between theories and regularizing sets. We show that there is a minimum unstable theory, a minimum TP 2 theory, and that maximality is implied by the density of certain graph edges (between components arising from Szemerédi-regular decompositions) remaining bounded away from 0, 1. We also introduce and discuss flexible ultrafilters, a relevant class of regular ultrafilters which reflect the sensitivity of certain unstable (non low) theories to the sizes of regularizing sets, and prove that any ultrafilter which saturates the minimal TP 2 theory is flexible. (shrink)

Some theorists, worried about liberalism’s potential as a foundation for public health ethics, suggest that republicanism provides a better background of justification for public health policies, interventions, etc. In this article, this suggestion is put to the test, and it is argued that (i) contemporary (civic) republicanism and liberalism are not nearly as opposed as it is sometimes suggested, and that (ii) the kind of republicanism which one leading scholar in the field, Bruce Jennings, as an alternative to liberalism, does (...) not reflect the contemporary understanding of republicanism as held by, e.g. Phillip Pettit et al. (shrink)

We introduce the notion of an alphabetic trace of a cut-free intuitionistic prepositional proof and show that it serves to characterize the equality of arrows in cartesian closed categories. We also show that alphabetic traces improve on the notion of the generality of proofs proposed in the literature. The main theorem of the paper yields a new and considerably simpler solution of the coherence problem for cartesian closed categories than those in [11, 14].

The same research proposal was submitted to 24 district health authority (DHA) research ethics committees in different parts of the country. The objective was to obtain permission for a multi-centre research project. The study of neonatal care in different types of unit (regional, subregional and district), required that four health authorities were approached in each of six widely separated health regions in England. Data were collected and compared concerning aspects of processing, including application forms, information required, timing and decision-making. The (...) key finding was that ethics committees received and processed the applications variably, reflecting individual factors and local problems. To improve consensus and facilitate multicentre studies, standard forms and instructions are suggested and the establishment of a national committee or advisory group advocated. (shrink)

This article develops an account of the nature and limits of the state’s legislative authority that closely attends to the challenge of harmonizing Kant’s ethical and juridical theories. It clarifies some key Kantian concepts and terms, then explains the way in which the state’s three interlocking authorities – legislative, executive, and judicial – are metaphysically distinct and mutually dependent. It describes the emergence of the Kantian state and identifies the preconditions of its authority. Then it offers a metaphysical model of (...) the Kantian state and uses it to argue that the activity of juridical lawgiving is an act of the omnilateral will itself. Legislative authority is limited in the sense that it does not include the capacity to create juridical laws that are conceptually incompatible with the idea of universal external freedom. I argue that my proposed account of the legislative authority is wholly consistent with that authority’s exclusive lawgiving capacity and does not threaten the possibility of ‘distributive justice’ – the legal finality that is the sine qua non of a civil condition. (shrink)

In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as well as interest from the point of view of applications. The language, concepts and methods of model theory can thus be used to describe the relationship between logics through morphisms of structures called transfers. This leads to a formal framework for studying several properties of abstract logics and their attributes such as consequence operator, (...) syntactical structure, and internal transformations. In particular, we treat Belief Revision Systems (BRS) as our main example, defining the Wide Belief Revision Systems (WBRS''s). This generalization allows us to define BRS''s in an abstract setting for classical and non-standard logics. We also show how the concept of translation between logics can be obtained as a particular case of transfers. (shrink)